A COMPARISON BETWEEN PETRI-NETS AND GRAPH GRAMMARSKREOWSKI HJ.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 100; PP. 306-317; BIBL. 20 REF.Conference Paper

A PUMPING LEMMA FOR CONTEXT-FREE GRAPH LANGUAGESKREOWSKI HJ.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; VOL. 73; PP. 270-283; BIBL. 13 REF.Conference Paper

ON THE CONSTRUCTIVE DESCRIPTION OF GRAPH LANGUAGES ACCEPTED BY FINITE AUTOMATAKREOWSKI HJ; ROZENBERG G.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 118; PP. 398-409; BIBL. 5 REF.Conference Paper

APPLICATIONS OF GRAPH GRAMMAR THEORY TO CONSISTENCY, SYNCHRONIZATION AND SCHEDULING IN DATA BASE SYSTEMSEHRIG H; KREOWSKI HJ.1980; INF. SYST.; ISSN 0306-4379; GBR; DA. 1980; VOL. 5; NO 3; PP. 225-238; BIBL. 26 REF.Article

PARAMETER PASSING COMMUTES WITH IMPLEMENTATION OF PARAMETERIZED DATA TYPESEHRIG H; KREOWSKI HJ.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 197-211; BIBL. 2 P.Conference Paper

SYSTEMATIC APPROACH TO REDUCTION AND MINIMIZATION IN AUTOMATA AND SYSTEM THEORY.EHRIG H; KREOWSKI HJ.1976; J. COMPUTER SYST. SCI.; U.S.A.; DA. 1976; VOL. 12; NO 3; PP. 269-304; BIBL. 1 P. 1/2Article

PARAMETER PASSING IN ALGEBRAIC SPECIFICATION LANGUAGESEHRIG H; KREOWSKI HJ.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 134; PP. 322-369; BIBL. 3 P.Conference Paper

PUSHOUT-PROPERTIES: AN ANALYSIS OF GLUING CONSTRUCTIONS FOR GRAPHSEHRIG H; KREOWSKI HJ.1979; MATH. NACHR.; DDR; DA. 1979; VOL. 91; PP. 135-149; BIBL. 13 REF.Article

A CASE STUDY OF ABSTRACT IMPLEMENTATIONS AND THEIR CORRECTNESSEHRIG H; KREOWSKI HJ; PADAWITZ P et al.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 83; PP. 108-122; BIBL. 3 P.Conference Paper

STEPWISE SPECIFICATION AND IMPLEMENTATION OF ABSTRACT DATA TYPES.EHRIG H; KREOWSKI HJ; PADAWITZ P et al.1978; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1978; NO 62; PP. 205-226; BIBL. 1 P. 1/2; (AUTOM. LANG. PROGRAM. COLLOQ. 5; UDINE; 1978)Conference Paper

ALGEBRAIC IMPLEMENTATION OF ABSTRACT DATA TYPESEHRIG H; KREOWSKI HJ; MAHR B et al.1982; THEORETICAL COMPUTER SCIENCES; ISSN 0304-3975; NLD; DA. 1982; VOL. 20; NO 3; PP. 209-263; BIBL. 45 REF.Article

PARAMETERIZED DATA TYPES IN ALGEBRAIC SPECIFICATION LANGUAGESEHRIG H; KREOWSKI HJ; THATCHER J et al.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; NO 85; PP. 157-168; BIBL. 24 REF.Conference Paper

COMPOUND ALGEBRAIC IMPLEMENTATIONS: AN APPROACH TO STEPWISE REFINEMENT OF SOFTWARE SYSTEMSEHRIG H; KREOWSKI HJ; MAHR B et al.1980; LECTURES NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 231-245; BIBL. 20 REF.Conference Paper

TRANSFORMATIONS OF STRUCTURES: AN ALGEBRAIC APPROACHEHRIG H; KREOWSKI HJ; MAGGIOLO SCHETTINI A et al.1981; MATH. SYST. THEORY; ISSN 0025-5661; DEU; DA. 1981; VOL. 14; NO 4; PP. 305-334; BIBL. 30 REF.Article